Using Alloy to Formally Model and Reason About an OpenFlow Network Switch
نویسندگان
چکیده
Openflow provides a standard interface for separating a network into a data plane and a programmatic control plane. This enables easy network reconfiguration, but introduces the potential for programming bugs to cause network effects. To study OpenFlow switch behavior, we used Alloy to create a software abstraction describing the internal state of a network and its OpenFlow switches. This work is an attempt to model the static and dynamic behaviour a network built using OpenFlow switches.
منابع مشابه
OpenFlow Implementation on NetMagic Platform
Stanford University proposed a new network switch model named OpenFlow for the research of network innovation. OpenFlow enables researchers to control the behavior of the network by managing flow table. NetMagic is an open network switching platform for the innovative research of next generation Internet architecture. This paper introduces OpenFlow and NetMagic briefly, and implements a customi...
متن کاملSoftware-Defined Network Testbed Using ZodiacFX a Hardware Switch for OpenFlow
Software-defined network (SDN) is a new programmable networking designed to perform tasks easier by enabling network administrators to add network control via a centralized control platform and open interfaces. Common network use procedures such as traffic shifts, troubleshooting and various types of device configuration. Thus devices are needed to reconfigure with the network, in order to crea...
متن کاملInvestigating the Performance of Link Aggregation on OpenFlow Switches
OpenFlow technology is emerging rapidly with the potential of increasing the flexibility in network management and operation. The technology introduces the OpenFlow switch, which is a cost-effective but well-functional switch implementation. The switch enables network programmability as well as various ways of forwarding packets. Since the version 1.1, the specification of OpenFlow switch intro...
متن کاملRevisiting control/data plane separation in Software Defined Networking
As deened in Wikipedia, Software Deened Networking (SDN) is about " decoupling the system that makes decisions about where traac is sent (the control plane) from the underlying systems that forward traac to the selected destination (the data plane) ". Such decoupling is very frequently meant to imply the physical separation between a smart (logically) centralized controller in charge of taking ...
متن کاملOpenFlow Controllers over EstiNet Network Simulator and Emulator: Functional Validation and Performance Evaluation
In this article, we use the EstiNet OpenFlow network simulator and emulator to perform functional validation and performance evaluation of the widely-used NOX OpenFlow controller. EstiNet uses an unique kernel reentering simulation methodology to enable real applications to run on nodes in its simulated network. As a result, without any modification, the real NOX OpenFlow controller readily run...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1604.00060 شماره
صفحات -
تاریخ انتشار 2013